HAR1                66⊃⊃∂
∧∩∞∧λ⊃
∂⊃∩⊃∩⊂⊃⊂∩⊃⊃∩⊃∩⊂∪∩⊃
⊂	⊃ε⊃∧∩λ∩
∩⊃∩⊂	∩
∩∩
⊃	∪	⊂λ⊃π∩¬∩λ⊂π⊃ε∩ε⊂π⊂¬⊃
⊃∩
⊂⊃∪⊂∪λ∪
∪ε∪
∪π∪⊃ε∩∧⊂ε∂¬⊂¬∞∧ε∧¬βεβ¬αεαβεβπ∧¬εε∞α
α∩λ∩ε∩¬∞β∂α∂β⊂β∞ε
¬∞¬∂∧
β∂ε∂π⊂π⊂λ⊃λ⊃π∞↓
↓⊂α∞λ∪¬∪ε⊃¬∧

ε∞π¬∧∩π∂	απαλαε¬π⊂	⊂
⊃	∂⊂↓ε∞↓π↓λβ∧∞
α¬α⊂∧εελβ∂β∩α∞α
α∂∧∂β⊂ε∂α⊃β∞α∩¬∂↓∞↓
π∩¬⊂ε⊃∂⊂ββ⊂∂⊂∞⊃⊂∂∞∞∞∧α∂∂¬∧∂
⊂⊂
⊃∞∪⊂∪∂∩∂∪∞∩⊂∂∞∪∂
∩↓¬¬⊃β∪π	¬	∧λ∧
¬λα	ε	βλ¬π↓ε↓
β
∧π¬ε¬π∧πε
αλβ↓¬	↓αβαπαπβπε	∪λλ


λ∪		π


	
∞
∞
∞⊃
∩	⊂π∪
β
λ∞	λ	ε
λ
ελ¬↓	
λ∞∧↓	

π∂α↓
				λ	
πλλπλλ↓α
∂∞∂	πππ	∂
∂∂↓∧ε↓¬	π
	∞πλαα
π
εββαα∧∧
¬α
β	ε	¬	β
↓
π	¬
ββ
π∞